<html>
<head><meta charset="utf-8"><title>polonius-consumers · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html">polonius-consumers</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127220383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127220383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127220383">(May 28 2018 at 20:35)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Have you decided what you would like to do with Polonius naïve implementation? I am asking because for our Viper verifier it would be much easier to consume the output of a less optimized version.</p>



<a name="127220491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127220491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127220491">(May 28 2018 at 20:39)</a>:</h4>
<p>On the other hand, if we tried to consume the optimized version, we would need to come up with its (at least informal) soundness proof, which, probably, would be quite useful…</p>



<a name="127220604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127220604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127220604">(May 28 2018 at 20:43)</a>:</h4>
<p>JFYI: in both cases, we would need access to <code>subset</code> and <code>borrow_live_at</code> facts.</p>



<a name="127221330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221330">(May 28 2018 at 21:08)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> Have you decided what you would like to do with Polonius naïve implementation? I am asking because for our Viper verifier it would be much easier to consume the output of a less optimized version.</p>
</blockquote>
<p>I intend to keep the naive version around permanently as the "canonical" rules — then the optimizer would be intendd to be equal, and any discrepancy is likely a bug</p>



<a name="127221342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221342">(May 28 2018 at 21:09)</a>:</h4>
<p>I'm not sure if that fulfills your requirements or not =)</p>



<a name="127221489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221489">(May 28 2018 at 21:13)</a>:</h4>
<blockquote>
<p>I intend to keep the naive version around permanently as the "canonical" rules — then the optimizer would be intendd to be equal, and any discrepancy is likely a bug</p>
</blockquote>
<p>Then just hook up quickcheck to test that arbitrary inputs are always equal...</p>



<a name="127221552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221552">(May 28 2018 at 21:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116155">@Jake Goulding</span> I had that in mind too...</p>



<a name="127221556"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221556" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221556">(May 28 2018 at 21:15)</a>:</h4>
<p>though I'm not sure how good quicktest would be at finding discrepancies</p>



<a name="127221557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127221557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127221557">(May 28 2018 at 21:15)</a>:</h4>
<p>maybe</p>



<a name="127239189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127239189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127239189">(May 29 2018 at 07:51)</a>:</h4>
<blockquote>
<p>I'm not sure if that fulfills your requirements or not =)</p>
</blockquote>
<p>Yes, this sounds good. We just need a way to invoke Polonius naïve and obtain computed facts. Would it be acceptable for you to have a query that allows obtaining <code>AllFacts</code> and have a Polonius to expose a function that accepts <code>AllFacts</code> and returns <code>subset</code> with <code>loan_live_at</code>?</p>



<a name="127239628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127239628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127239628">(May 29 2018 at 08:04)</a>:</h4>
<blockquote>
<p>I intend to keep the naive version around permanently as the "canonical" rules — then the optimizer would be intendd to be equal, and any discrepancy is likely a bug</p>
</blockquote>
<p>So, for this, we need to extend the test compare mode to support comparing the optimized Polonius algorithm with the naïve one, right?</p>



<a name="127239640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127239640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127239640">(May 29 2018 at 08:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> Is this something you are already working on? I think that implementing this would be a nice opportunity for me to get familiar with the integration code. <span class="emoji emoji-263a" title="relaxed">:relaxed:</span></p>



<a name="127239950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127239950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127239950">(May 29 2018 at 08:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> well, <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> and I had been discussing the idea of having a way to select the algorithm that rustc uses as an extension to <a href="https://github.com/rust-lang/rust/pull/51133" target="_blank" title="https://github.com/rust-lang/rust/pull/51133">https://github.com/rust-lang/rust/pull/51133</a>; maybe we could add that, and then add an algorithm to polonius that compares naive-to-opt</p>



<a name="127240031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127240031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127240031">(May 29 2018 at 08:17)</a>:</h4>
<blockquote>
<p>though I'm not sure how good quicktest would be at finding discrepancies</p>
</blockquote>
<p>I think we could try to adapt something like <a href="https://www.youtube.com/watch?v=x4JUUlO9XGY&amp;index=4&amp;list=PLn9KV9ACrihipDiOuU8uEDNLuoMjmmLlX" target="_blank" title="https://www.youtube.com/watch?v=x4JUUlO9XGY&amp;index=4&amp;list=PLn9KV9ACrihipDiOuU8uEDNLuoMjmmLlX">this</a>.</p>
<div class="youtube-video message_inline_image"><a data-id="x4JUUlO9XGY" href="https://www.youtube.com/watch?v=x4JUUlO9XGY&amp;index=4&amp;list=PLn9KV9ACrihipDiOuU8uEDNLuoMjmmLlX" target="_blank" title="https://www.youtube.com/watch?v=x4JUUlO9XGY&amp;index=4&amp;list=PLn9KV9ACrihipDiOuU8uEDNLuoMjmmLlX"><img src="https://i.ytimg.com/vi/x4JUUlO9XGY/default.jpg"></a></div>



<a name="127240038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127240038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127240038">(May 29 2018 at 08:17)</a>:</h4>
<p>yes</p>



<a name="127240082"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127240082" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127240082">(May 29 2018 at 08:18)</a>:</h4>
<p>if things get more advanced, we could also contact them</p>



<a name="127240168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127240168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127240168">(May 29 2018 at 08:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> </p>
<blockquote>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> well, <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> and I had been discussing the idea of having a way to select the algorithm that rustc uses as an extension to <a href="https://github.com/rust-lang/rust/pull/51133" target="_blank" title="https://github.com/rust-lang/rust/pull/51133">https://github.com/rust-lang/rust/pull/51133</a>; maybe we could add that, and then add an algorithm to polonius that compares naive-to-opt</p>
</blockquote>
<p>Sounds good.  Please let me know if I could help to implement this.</p>



<a name="127240349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127240349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127240349">(May 29 2018 at 08:25)</a>:</h4>
<blockquote>
<p>if things get more advanced, we could also contact them</p>
</blockquote>
<p>JFYI: Zhendong Su is <a href="https://www.ethz.ch/en/news-and-events/eth-news/news/2017/12/ten-professors-appointed.html" target="_blank" title="https://www.ethz.ch/en/news-and-events/eth-news/news/2017/12/ten-professors-appointed.html">moving to ETH</a>.</p>



<a name="127251691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127251691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127251691">(May 29 2018 at 13:29)</a>:</h4>
<p>hey <span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> I've done the basics of this, happy to share with you and letting you continue with the rest if you want</p>



<a name="127251903"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127251903" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127251903">(May 29 2018 at 13:35)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> Could you specify more precisely what you mean by <strong>this</strong>?</p>



<a name="127251995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127251995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127251995">(May 29 2018 at 13:37)</a>:</h4>
<p>Do you mean changes on the Rustc side to enable comparing Polonius with NLL?</p>



<a name="127252163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252163">(May 29 2018 at 13:41)</a>:</h4>
<p>I was talking about this PR <a href="https://github.com/rust-lang/rust/pull/51138" target="_blank" title="https://github.com/rust-lang/rust/pull/51138">https://github.com/rust-lang/rust/pull/51138</a></p>



<a name="127252165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252165">(May 29 2018 at 13:41)</a>:</h4>
<p>consider the last 3 commits</p>



<a name="127252166"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252166" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252166">(May 29 2018 at 13:41)</a>:</h4>
<p>because it's on top of <a href="https://github.com/rust-lang/rust/pull/51133" target="_blank" title="https://github.com/rust-lang/rust/pull/51133">https://github.com/rust-lang/rust/pull/51133</a></p>



<a name="127252168"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252168" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252168">(May 29 2018 at 13:41)</a>:</h4>
<p>talking about the compare-mode</p>



<a name="127252379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252379">(May 29 2018 at 13:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> Thanks!</p>



<a name="127252620"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252620" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252620">(May 29 2018 at 13:51)</a>:</h4>
<p>JFYI:  I have added an option to choose the Polonius algorithm with an environment variable (<a href="https://github.com/rust-lang-nursery/polonius/pull/60" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/60">pull request</a>) and now I am working on comparing the reported errors.</p>



<a name="127252899"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127252899" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127252899">(May 29 2018 at 13:57)</a>:</h4>
<p>will take a look in a bit :)</p>



<a name="127253253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127253253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127253253">(May 29 2018 at 14:04)</a>:</h4>
<p>left some comments take a look to see if makes sense to you :)</p>



<a name="127255098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127255098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127255098">(May 29 2018 at 14:42)</a>:</h4>
<blockquote>
<p>left some comments take a look to see if makes sense to you :)</p>
</blockquote>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> Thanks! Fixed.</p>



<a name="127257459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127257459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127257459">(May 29 2018 at 15:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> have you seen a comment I left (or try to) about match here <a href="https://github.com/rust-lang-nursery/polonius/pull/64" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/64">https://github.com/rust-lang-nursery/polonius/pull/64</a> ?</p>



<a name="127263949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127263949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127263949">(May 29 2018 at 17:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> I have seen your comment that you tried to leave a comment <span class="emoji emoji-263a" title="relaxed">:relaxed:</span>. I'll try to replace <code>match</code> with <code>if else</code>.</p>



<a name="127264031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127264031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127264031">(May 29 2018 at 17:48)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> just in case :), take my comments as a suggestion, I'm not the one accepting stuff on rustc <span class="emoji emoji-1f609" title="wink">:wink:</span></p>



<a name="127264512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/polonius-consumers/near/127264512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/polonius-consumers.html#127264512">(May 29 2018 at 17:58)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> just in case :), take my comments as a suggestion, I'm not the one accepting stuff on rustc <span class="emoji emoji-1f609" title="wink">:wink:</span></p>
</blockquote>
<p>Your suggestions make a lot of sense to me so far. <span class="emoji emoji-263a" title="relaxed">:relaxed:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>